Model companions of distributive p-algebras
نویسندگان
چکیده
منابع مشابه
A NOTE ON CONGRUENCE LATTICES OF DISTRIBUTIVE p–ALGEBRAS
A (distributive) p-algebra is an algebra 〈L;∨,∧, ∗, 0, 1〉 whose reduct 〈L;∨,∧, 0, 1〉 is a bounded (distributive) lattice and whose unary operation ∗ is characterized by x ≤ a if and only if a ∧ x = 0. If L is a p-algebra, B(L) = { x ∈ L : x = x } and D(L) = { x ∈ L : x = 1 } then 〈B(L);∪,∧, 0, 1〉 is a Boolean algebra when a ∪ b is defined to be (a∗ ∧ b∗)∗, for any a, b ∈ B(L), D∗(L) = { x ∨ x∗ ...
متن کاملLeft-distributive Embedding Algebras
We consider algebras with one binary operation and one generator, satisfying the left distributive law a (b c) = (a b) (a c); such algebras have been shown to have surprising connections with set-theoretic large cardinals and with braid groups. One can construct a sequence of nite left-distributive algebras An, and then take a limit to get an in nite left-distributive algebra A1 on one generato...
متن کاملFinite Left{distributive Algebras and Embedding Algebras
We consider algebras with one binary operation and one generator (monogenic) and satisfying the left distributive law a (b c) = (a b) (a c). One can de ne a sequence of nite left-distributive algebras An, and then take a limit to get an in nite monogenic left-distributive algebra A1. Results of Laver and Steel assuming a strong large cardinal axiom imply that A1 is free; it is open whether the ...
متن کاملOn reductive and distributive algebras
The paper investigates idempotent, reductive, and distributive groupoids, and more generally Ω-algebras of any type including the structure of such groupoids as reducts. In particular, any such algebra can be built up from algebras with a left zero groupoid operation. It is also shown that any two varieties of left k-step reductive Ω-algebras, and of right n-step reductive Ω-algebras, are indep...
متن کاملCoproducts of Distributive Lattice based Algebras
The analysis of coproducts in varieties of algebras has generally been variety-specific, relying on tools tailored to particular classes of algebras. A recurring theme, however, is the use of a categorical duality. Among the dualities and topological representations in the literature, natural dualities are particularly well behaved with respect to coproduct. Since (multisorted) natural dualitie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 1982
ISSN: 0022-4812,1943-5886
DOI: 10.2307/2273597